17 research outputs found
Model-based Development for Event-driven Applications using MATLAB: Audio Playback Case Study
Audio playbacks are mechanisms which read data from a storage medium and produce commands and signals which an audio system turns into music. Playbacks are constantly changed to meet market demands, requiring that the control software be updated quickly and efficiently
Executable Specs: What Makes One, and How are They Used?
Model-based systems development relies upon the concept of an executable specification. A survey of published literature shows a wide range of definitions for executable specifications [1-10]. In this paper, we attempt to codify the essential starting elements for a complete executable specification-based design flow. A complete executable specification that includes a functional model as well as test cases, in addition to a traditional prose document, is needed to transfer requirements from a customer to a supplier, or from a systems engineer to electrical hardware and software engineers. In the complete form demonstrated here, sub-components of a functionally-decomposed system manifest as modular reuse blocks suitable for publication in functional libraries. The overarching definition provided by product architecture and by software architecture must also be harmoniously integrated with design and implementation. Using seven specific automotive examples, we illustrate effective ways in which executable specifications have been used in production-ready applications. Benefits of model-based development are captured, including earlier and more thorough testing, automatic document generation, and autocode generation
Recommended from our members
Light scattering spectroscopy identifies the malignant potential of pancreatic cysts during endoscopy
Pancreatic cancers are usually detected at an advanced stage and have poor prognosis. About one fifth of these arise from pancreatic cystic lesions. Yet not all lesions are precancerous, and imaging tools lack adequate accuracy for distinguishing precancerous from benign cysts. Therefore, decisions on surgical resection usually rely on endoscopic ultrasound-guided fine needle aspiration (EUS-FNA). Unfortunately, cyst fluid often contains few cells, and fluid chemical analysis lacks accuracy, resulting in dire consequences, including unnecessary pancreatic surgery for benign cysts and the development of cancer. Here, we report an optical spectroscopic technique, based on a spatial gating fibre-optic probe, that predicts the malignant potential of pancreatic cystic lesions during routine diagnostic EUS-FNA procedures. In a double-blind prospective study in 25 patients, with 14 cysts measured in vivo and 13 postoperatively, the technique achieved an overall accuracy of 95%, with a 95%confidence interval of 78–99%, in cysts with definitive diagnosis
Scattering differentiates Alzheimer disease in
The molecular bases of Alzheimer disease and related neurodegenerative disorders are becoming better understood, but the means for definitive diagnosis and monitoring in vivo remain lacking. Near-infrared optical spectroscopy offers a potential solution. We acquired transmission and reflectance spectra of thin brain tissue slabs, from which we calculated wavelength-dependent absorption and reduced scattering coefficients from 470-1000 nm. The reduced scattering coefficients in the near infrared clearly differentiated Alzheimer from control specimens. Diffuse reflectance spectra of gross brain tissue in vitro confirmed this observation. These results suggest a means for diagnosing and monitoring Alzheimer disease in vivo, using near-infrared optical spectroscopy
Scattering differentiates Alzheimer disease in
The molecular bases of Alzheimer disease and related neurodegenerative disorders are becoming better understood, but the means for definitive diagnosis and monitoring in vivo remain lacking. Near-infrared optical spectroscopy offers a potential solution. We acquired transmission and reflectance spectra of thin brain tissue slabs, from which we calculated wavelength-dependent absorption and reduced scattering coefficients from 470-1000 nm. The reduced scattering coefficients in the near infrared clearly differentiated Alzheimer from control specimens. Diffuse reflectance spectra of gross brain tissue in vitro confirmed this observation. These results suggest a means for diagnosing and monitoring Alzheimer disease in vivo, using near-infrared optical spectroscopy